Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
981	BRICS Basic Research in Computer Science BRICS DS-02-4 A. Møller: Program Verification with M2L & Languages for Web Service Development Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-04-26 06:24:23 Formal methods Logic in computer science Notation Programming language Formal verification BRIC Michael Schwartzbach Logic Monad Computing Software engineering Science
982	Beyond Theory: Making Single-Sourcing Actually Work Liz Fraley Juniper Networks, IncN. Mathilda Avenue Sunnyvale, CA 94089 Add to Reading List Source URL: single-sourcing.com Language: English - Date: 2014-11-12 13:25:27 Computer file formats Open formats Adobe FrameMaker Single source publishing XML DocBook Standard Generalized Markup Language XSLT HTML Computing Markup languages Technical communication
983	RW Net 4 SDK SDK for developing routing-enabled applications Available as: • • • Add to Reading List Source URL: www.routeware.dk Language: English - Date: 2013-09-19 16:53:03 Computer programming Integrated development environments Borland Embarcadero Delphi Pascal Markup languages Xe XE class submarine Routing Computing Delphi programming language Software
984	PRODUCT SHEET ProActive Parallel Scientific Toolbox Key Benefits Add to Reading List Source URL: www.activeeon.com Language: English - Date: 2015-03-24 03:06:38 Array programming languages Parallel computing Cross-platform software Numerical linear algebra Scilab MATLAB Proactivity Computer cluster ProActive Computing Software Concurrent computing
985	Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Computer arithmetic Functional languages Racket Floating point Computing Software engineering Computer programming
986	Self-Publishing Boot Camp - List of Collaboration Tools Add to Reading List Source URL: nonfictionwritersconference.com Language: English - Date: 2013-04-30 15:04:17 Computer file formats Open formats E-books Lightweight markup languages EPUB Markdown Comparison of e-book formats Electronic publishing Publishing Computing
987	Regular Linear-time Temporal Logic Martin Leucker Institut f¨ur Informatik TU M¨unchenGarching, Germany Email: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Formal languages Logic in computer science Complexity classes Automata theory Temporal logic Linear temporal logic Modal logic Dynamic logic Model checking Theoretical computer science Mathematics Logic
988	Checked Load: Architectural Support for JavaScript Type-Checking on Mobile Processors Owen Anderson Emily Fortuna Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-01-21 20:32:18 Data types Assembly languages Computer performance Software optimization CPU cache Cache Type system Pointer Google Chrome Computing Software Computer architecture
989	C:/Dokumente und Einstellungen/ulrich/Desktop/Kulisch/SelEditBooks.dvi Add to Reading List Source URL: www.math.kit.edu Language: English - Date: 2013-01-15 10:20:04 Procedural programming languages Pascal-XSC Pascal Fortran Computational science Computation Programming language Bibliotheca Teubneriana Computer science Computing Software engineering Programming language theory
990	C.V. for Rolf V. Østergaard Nationality: Danish Born: 1965 Education: Master Sc. Electrical Engineering Languages: Danish + English fluently LinkedIn: http://dk.linkedin.com/in/rolfostergaard Add to Reading List Source URL: www.ee-training.dk Language: English - Date: 2013-04-09 16:26:29 Computer engineering Electrical engineering Embedded system Joint Test Action Group Modem Audio engineering Field-programmable gate array Intel Engineering Electronic engineering Technology Electronics

UPDATE